2,492 research outputs found
Holant Problems for Regular Graphs with Complex Edge Functions
We prove a complexity dichotomy theorem for Holant Problems on 3-regular
graphs with an arbitrary complex-valued edge function. Three new techniques are
introduced: (1) higher dimensional iterations in interpolation; (2) Eigenvalue
Shifted Pairs, which allow us to prove that a pair of combinatorial gadgets in
combination succeed in proving #P-hardness; and (3) algebraic symmetrization,
which significantly lowers the symbolic complexity of the proof for
computational complexity. With holographic reductions the classification
theorem also applies to problems beyond the basic model.Comment: 19 pages, 4 figures, added proofs for full versio
New Planar P-time Computable Six-Vertex Models and a Complete Complexity Classification
We discover new P-time computable six-vertex models on planar graphs beyond
Kasteleyn's algorithm for counting planar perfect matchings. We further prove
that there are no more: Together, they exhaust all P-time computable six-vertex
models on planar graphs, assuming #P is not P. This leads to the following
exact complexity classification: For every parameter setting in
for the six-vertex model, the partition function is either (1) computable in
P-time for every graph, or (2) #P-hard for general graphs but computable in
P-time for planar graphs, or (3) #P-hard even for planar graphs. The
classification has an explicit criterion. The new P-time cases in (2) provably
cannot be subsumed by Kasteleyn's algorithm. They are obtained by a non-local
connection to #CSP, defined in terms of a "loop space".
This is the first substantive advance toward a planar Holant classification
with not necessarily symmetric constraints. We introduce M\"obius
transformation on as a powerful new tool in hardness proofs for
counting problems.Comment: 61 pages, 16 figures. An extended abstract appears in SODA 202
Shor's Algorithm Does Not Factor Large Integers in the Presence of Noise
We consider Shor's quantum factoring algorithm in the setting of noisy
quantum gates. Under a generic model of random noise for (controlled) rotation
gates, we prove that the algorithm does not factor integers of the form
when the noise exceeds a vanishingly small level in terms of -- the number
of bits of the integer to be factored, where and are from a
well-defined set of primes of positive density. We further prove that with
probability over random prime pairs , Shor's factoring
algorithm does not factor numbers of the form , with the same level of
random noise present
Holographic Algorithm with Matchgates Is Universal for Planar CSP Over Boolean Domain
We prove a complexity classification theorem that classifies all counting
constraint satisfaction problems (CSP) over Boolean variables into exactly
three categories: (1) Polynomial-time tractable; (2) P-hard for general
instances, but solvable in polynomial-time over planar graphs; and (3)
P-hard over planar graphs. The classification applies to all sets of local,
not necessarily symmetric, constraint functions on Boolean variables that take
complex values. It is shown that Valiant's holographic algorithm with
matchgates is a universal strategy for all problems in category (2).Comment: 94 page
- …